The Audit Logic Policy Compliance in Distributed Systems
نویسندگان
چکیده
We present a distributed framework where agents can share data along with usage policies. We use an expressive policy language including conditions, obligations and delegation. Our framework also supports the possibility to refine policies. Policies are not enforced a-priori. Instead policy compliance is checked using an a-posteriri auditing approach. Policy compliance is shown by a (logical) proof that the authority can systematically check for validity. Tools for automatically checking and generating proofs are also part of the framework.
منابع مشابه
Using Internal Auditing in E-Banks and E-Credit Financial Institutes
Internal audit is a process affected by an entity ‘s board of directors, management and other personnel, designed to provide reasonable assurance regarding the achievement of objectives relating to operations, reporting and compliance. This definition reflects certain fundamental concepts. Internal control is: • Geared to achievement of objectives in one or more categories operations, reporti...
متن کاملThe Effects of Audit Methodology on the Development of Auditors’ Knowledge of the Client’s Business
This study examines the differences between strategic systems audit approach compared with traditional based audit approach and its impact on development of auditors’ knowledge of the client’s business, has been discussed. Strategic systems audit approach advocates argue that this approach creates a better development of auditors’ knowledge of the client’s business than the traditional-based au...
متن کاملWhy Even the Logic of Re-Defined Choice May Still Contradict the Logic of Care in Public Health Systems?
متن کامل
Software Compliance Management Model towards Portability Faults using RESTFul Web Service Exchanges in Distributed Systems
Software Compliance Management Model towards Portability Faults using RESTFul Web Service Exchanges in Distributed Systems 1 Kanchana Natarajan, 2 Sarala Subramani 1 Research Scholar, 2 Assistant Professor Department of Information Technology Bharathiar University, Coimbatore, India ___________________________________________________________________________ Abstract:The objective of the researc...
متن کامل6 A pr 2 00 5 An Audit Logic for Accountability ( Extended
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architecture. Our language supports the specification of conditions and obligations, and also the possibility to refine policies. In our framework, the compliance with usage policies is not actively enforced. However, agents are...
متن کامل